Skip to content

Add regression test for recursive lazy type alias normalization ICE#154549

Open
jeanibarz wants to merge 1 commit intorust-lang:mainfrom
jeanibarz:fix/add-test-152633
Open

Add regression test for recursive lazy type alias normalization ICE#154549
jeanibarz wants to merge 1 commit intorust-lang:mainfrom
jeanibarz:fix/add-test-152633

Conversation

@jeanibarz
Copy link
Copy Markdown

@jeanibarz jeanibarz commented Mar 29, 2026

Regression test for #152633.

The normalization ICE with recursive lazy_type_alias + min_generic_const_args was fixed by #152040 but didn't get a test. Compiler now reports E0275 instead of crashing.

Closes #152633

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Mar 29, 2026
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Mar 29, 2026

r? @chenyukang

rustbot has assigned @chenyukang.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler
  • compiler expanded to 69 candidates
  • Random selection from 12 candidates

@jeanibarz jeanibarz force-pushed the fix/add-test-152633 branch 3 times, most recently from 678957c to 9fd2c9e Compare March 29, 2026 13:40
Exercises a self-referencing type alias with lazy_type_alias and
min_generic_const_args, which previously caused an ICE during
normalization.
@jeanibarz jeanibarz changed the title Add regression test for #152633 Add regression test for recursive lazy type alias normalization ICE Mar 29, 2026
@chenyukang
Copy link
Copy Markdown
Member

Thanks!
@bors r=chenyukang

@rust-bors
Copy link
Copy Markdown
Contributor

rust-bors bot commented Mar 29, 2026

📌 Commit 9fd2c9e has been approved by chenyukang

It is now in the queue for this repository.

@rust-bors rust-bors bot added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Mar 29, 2026
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Mar 29, 2026
…henyukang

Add regression test for recursive lazy type alias normalization ICE

Regression test for rust-lang#152633.

The normalization ICE with recursive lazy_type_alias + min_generic_const_args was fixed by rust-lang#152040 but didn't get a test. Compiler now reports E0275 instead of crashing.

Closes rust-lang#152633
rust-bors bot pushed a commit that referenced this pull request Mar 29, 2026
…uwer

Rollup of 11 pull requests

Successful merges:

 - #154074 (don't drop arguments' temporaries in `dbg!`)
 - #154328 (rustdoc: add missing {os,target,target_env} values for cfg pretty printer)
 - #154540 (Fix invalid type suggestion for item nested in function)
 - #154549 (Add regression test for recursive lazy type alias normalization ICE)
 - #153373 (Fix LegacyKeyValueFormat report from docker build: powerpc)
 - #154322 (feat: reimplement `hash_map!` macro)
 - #154416 (Add `IoSplit` diagnostic item for `std::io::Split`)
 - #154486 (std_detect on AArch64 Darwin: Detect FEAT_SVE_B16B16)
 - #154508 (Fix ambiguous parsing in bootstrap.py)
 - #154518 (Panic in Hermit clock_gettime)
 - #154530 (update zulip link in `std` documentation)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[ICE]: Failed to normalize Alias(Free

3 participants